Checks that an overriding finalize() method invokes super.finalize().

<p>
</p>
